# Joined Addition
The central operation is joined addition.
Ordinary addition begins from separated objects:
```text
one thing + one thing = two things
```
Joined addition begins from the situation created when those things are actually together.
This matters because addition has often been mistaken for union. But union is union. It says the parts are in one set. It does not say what the parts do to one another.
Joined addition asks for the new condition created by the joining.
If
```text
U = u^2
V = v^2
```
then:
```text
U + V := (u + v)^2
```
Equivalently, in square-form notation:
```text
u^2 + v^2 := (u + v)^2
```
This is the defining axiom of ultrareal addition.
Expanded into old notation:
```text
(u + v)^2 = u^2 + v^2 + 2uv
```
The first two terms are what ordinary inventory would keep. The last term is the relation term.
## Standard Arithmetic As A Special Case
Standard arithmetic is not discarded. It is recovered as the special case of non-interacting things.
In standard arithmetic:
```text
U + V
```
means that `U` and `V` are counted together while their relation is ignored, absent, canceled, or irrelevant.
In ultrareal arithmetic, the fuller joined form can be written with an explicit relation coefficient:
```text
u^2 + v^2 := u^2 + v^2 + 2kuv
```
The aligned ultrareal case has:
```text
k = 1
```
The standard case has:
```text
k = 0
```
The relation term is then zero because the operation deliberately studies units as non-interacting:
```text
u^2 + v^2 + 2(0)uv = u^2 + v^2
```
This makes standard arithmetic an object of study inside the larger system. It is the arithmetic of indifferent units: useful, precise, and limited.
The ultrareal question is different:
```text
what happens when the units are not indifferent?
```
## Zero
Zero remains the additive identity:
```text
0^2 + u^2 = (0 + u)^2 = u^2
```
## Commutativity
Joined addition is commutative:
```text
u^2 + v^2 = (u + v)^2 = (v + u)^2 = v^2 + u^2
```
The order of joining does not change the joined value.
## Associativity
Joined addition is associative:
```text
(u^2 + v^2) + w^2
= (u + v)^2 + w^2
= (u + v + w)^2
```
and
```text
u^2 + (v^2 + w^2)
= u^2 + (v + w)^2
= (u + v + w)^2
```
So:
```text
(u^2 + v^2) + w^2 = u^2 + (v^2 + w^2)
```
## Many Terms
For many joined ultrareals:
```text
u_1^2 + u_2^2 + ... + u_n^2
= (u_1 + u_2 + ... + u_n)^2
```
Expanded:
```text
(u_1 + ... + u_n)^2
= u_1^2 + ... + u_n^2
+ 2 sum_{i
---
- [Preferred Frame Writing on GitHub.com](https://github.com/siran/writing)
(built: 2026-04-25 21:07 EDT UTC-4)